The method based on the idea of Galois connection is well known. It facilitates investigations into similarities between mathematical structures, including isomorphisms between these structures, the highest degree of similarity. This idea is employed here and adapted so as to get to the core of aspects of the relationship between some metamathematical structures. The focus is put on the relation between traditional methodological orthodoxy based on the idea of proof , on the one hand, and on some alternative methodological set-ups (...) based on other ideas such as consistency or some forms of maximality, on the other hand. (shrink)

the standard metalogical set-ups seem to be all based on the idea of consequence (or proof). However, metalogic can also be effectively constructed using some non-standard primmitive ideas. In this paper an outline is given to four metalogical frameworks, alternative to the standard set-ups. They are based, respectively, on the idea of consistency; on an omission (or separation) operator; on an extension operator (called in the paper a Lindenbaum operator); and on the idea of maximality. All these metalogics, including the (...) standard consequence-based one, are one-to-one and proof-preserving translatable, and, in this sense, are seen pairwise equivalent and „externally” consistent. (shrink)

The paper provides a method for a uniform complete Hilbert-style axiomatisation of Post's -conditionals and Post's negation, where m is the number of truth values and u is the number of designated truth values . The main feature of the technique which we employ in this proof generalises the well-known Kalmár Lemma which was used by its author in his completeness argument for the ordinary, two-valued logic.

. The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other.

By indirect-deduction theorems introduced in the present paper we mean the theorems that allow to formalize indirect reasonings occurring in deductive practice in general and in mathematics in particular. We discuss the relationship between the introduced theorems and some logical calculi being virtually confined to propositional calculi with implication and negation. It is worth to notice that the above theorems are very handy and effective in proving logical theses.

stanislaw lesniewski, Collected Works, Edited by Stanislaw J. Surma, Jan T. Srzednicki and D. I. Barnett, with an annotated bibliography by V. Frederick Rickey. Warsaw:PWN?Polish Scientific Publishers; and Dordrecht, Boston, London: Kluwer. 2 vols., xvi + 794 pp. $274/£163/Dfl. 480.

J. L. Ackrill; VIII*—Aristotle's Definitions of Psuche, Proceedings of the Aristotelian Society, Volume 73, Issue 1, 1 June 1973, Pages 119–134, https://doi.org.

Misconceptions about energy conservation abound due to the gap between physics and secondary school chemistry. This paper surveys this difference and its relevance to the 1690s–2010s Leibnizian argument that mind-body interaction is impossible due to conservation laws. Justifications for energy conservation are partly empirical, such as Joule’s paddle wheel experiment, and partly theoretical, such as Lagrange’s statement in 1811 that energy is conserved if the potential energy does not depend on time. In 1918 Noether generalized results like Lagrange’s and proved (...) a converse: symmetries imply conservation laws and vice versa. Conservation holds if and only if nature is uniform. The rise of field physics during the 1860s–1920s implied that energy is located in particular places and conservation is primordially local: energy cannot disappear in Cambridge and reappear in Lincoln instantaneously or later; neither can it simply disappear in Cambridge or simply appear in Lincoln. A global conservation law can be inferred in some circumstances. Einstein’s General Relativity, which stimulated Noether’s work, is another source of difficulty for conservation laws. As is too rarely realized, the theory admits conserved quantities due to symmetries of the Lagrangian, like other theories. Indeed General Relativity has more symmetries and hence more conserved energies. An argument akin to Leibniz’s finally gets some force. While the mathematics is too advanced for secondary school, the ideas that conservation is tied to uniformities of nature and that energy is in particular places, are accessible. Improved science teaching would serve the truth and enhance the social credibility of science. (shrink)

Research questions in mainstream epistemology often take for granted a cognitive internalist picture of the mind. Perhaps this is unsurprising given the seemingly safe presumptions that knowledge entails belief and that the kind of belief that knowledge entails supervenes exclusively on brainbound cognition. It will be argued here that the most plausible version of the entailment thesis holds just that knowledge entails dispositional belief. However, regardless of whether occurrent belief supervenes only as the cognitive internalist permits, we should reject the (...) idea that dispositional belief supervenes only in cognitive internalist-friendly ways. These observations, taken together, reveal two things: first, that a cognitive internalist picture of the mind is much more dispensable in epistemology than has been assumed and, second, that pursuing questions in extended epistemology need not involve any radical departure from the commitments of more traditional epistemological projects. (shrink)

O objetivo deste ensaio é examinar a proposta de Sandy Goldberg, segundo a qual há divisão de trabalho epistêmico em certos processos de aquisição de conhecimento – ao menos em se tratando de conhecimento testemunhal. Goldberg propõe mostrar a veracidade desta alegação salientando a nossa dependência epistêmica em relação a outros indivíduos, ou mesmo comunidades inteiras. Nós, então, vamos propor o tratamento de um famoso caso tipo-Gettier que, segundo Gilbert Harman, revelaria algumas dimensões sociais do conhecimento. Por fim, nós esperamos (...) tirar algumas lições da explicação oferecida por Goldberg, dentre as quais a mais importante a ser tomada é que, havendo tal divisão de trabalho epistêmico em processos de aquisição de conhecimento, muitas vezes, não são apenas as propriedades epistêmicas do sujeito que determinam a sua posse de conhecimento ou ignorância, de modo que o conhecimento é mais social do que individual em se tratando de uma ampla gama de casos. (shrink)

El objetivo de este artículo es definir la concepción del acto involuntario de Francisco Suárez y mostrarla como un medio que permite comprender y profundizar en su teoría de la acción humana. En esta cuestión, el Doctor Eximio parte de presupuestos elaborados por Tomás de Aquino que amplía y adapta siguiendo sus propias tesis metafísicas y teológicas sobre la relación entre Dios y las creaturas. Mostraremos cómo Suárez vincula el verdadero involuntario con el _simpliciter_, lo forzado, necesario e indeseado, dejando (...) al _secundum quid_ como un acto mixto en el que la libertad y la voluntad, pese a las injerencias externas, no quedan anuladas. Por último, subrayaremos las consecuencias de la definición suareciana de lo involuntario sobre la noción de libertad, haciendo patente que tanto una como otra serían imposibles fuera del marco teórico que él sustenta, caracterizado por la eficiencia humana (y su dependencia de la divinidad) y no por la premoción física. (shrink)

Analogies must be symmetric. If a is like b, then b is like a. So if a has property R, and if R is within the scope of the analogy, then b (probably) has R. However, analogical arguments generally single out, or depend upon, only one of a or b to serve as the basis for the inference. In this respect, analogical arguments are directed by an asymmetry. I defend the importance of this neglected – even when explicitly mentioned – (...) feature in understanding analogical arguments. (shrink)

This volume provides discussions of both the concept of responsibility and of punishment, and of both individual and collective responsibility. It provides in-depth Socratic and Kantian bases for a new version of retributivism, and defends that version against the main criticisms that have been raised against retributivism in general. It includes chapters on criminal recidivism and capital punishment, as well as one on forgiveness, apology and punishment that is congruent with the basic precepts of the new retributivism defended therein. Finally, (...) chapters on corporate responsibility and punishment are included, with a closing chapter on holding the U.S. accountable for its most recent invasion and occupation of Iraq. The book is well-focused but also presents the widest ranging set of topics of any book of its kind as it demonstrates how the concepts of responsibility and punishment apply to some of the most important problems of our time. “This is one of the best books on punishment, and the Fourth Edition continues its tradition of excellence. The book connects punishment importantly to moral responsibility and desert, and it is comprehensive in its scope, both addressing abstract, theoretical issues and applied issues as well. The topics treated include collective responsibility, apology, forgiveness, capital punishment, and war crimes. Highly recommended.”—John Martin Fischer, Distinguished Professor of Philosophy, University of California, Riverside. (shrink)

Ethical consumerism is the thesis that we should let our values determine our consumer purchases. We should purchase items that accord with our values and refrain from buying those that do not. The end goal, for ethical consumerism, is to transform the market through consumer demand. The arm of this movement associated with food choice embraces the slogan “Vote with Your Fork!” As in the more general movement, the idea is that we should let our values dictate our choices. In (...) this paper, I offer a critique of the Vote with Your Fork campaign (hereafter VWYF) that focuses on the agency of individuals. For VWYF to be effective, minimally, individuals must act _intentionally_ when making food choices. In the ideal case, individuals adopt and endorse the values implicit in VWYF and exhibit _autonomous agency_ when they purchase and consume food. The problem, though, is that a number of things can go wrong along the way. I argue that very few of us are in the position to exhibit autonomous agency with respect to our food choices. Because of this, VWYF could very well undermine its own goals. (shrink)

C. A. J. Coady offers to clear up confusion about what terrorism is. His "tactical definition" focuses on terrorist acts as violent attacks upon non-combatants. He discusses what it means to be a non-combatant, considers various philosophical attempts to defend terrorism, and examines the idea of a connection between religion and terrorism.

Even the simplest known living organisms are complex chemical processing systems. But how sophisticated is the behaviour that arises from this? We present a framework in which even bacteria can be identified as capable of representing information in arbitrary signal molecules, to facilitate altering their behaviour to optimise their food supplies, for example. Known asion/Representation theory, this framework makes precise the relationship between physical systems and abstract concepts. Originally developed to answer the question of when a physical system is computing, (...) AR theory naturally extends to the realm of biological systems to bring clarity to questions of computation at the cellular level. (shrink)

In The Face of Emotions, which was Carroll Izard’s first major attempt at elaborating his differential emotions theory (DET), he stated that the book “presents a theoretical framework for the study of emotions and their role in personality and interpersonal processes.” Yet, over the years, his contribution to personality theory has generally been overshadowed by the attention focused on his views on facial expressions and the structure of emotions. This article will begin with a brief overview of the DET perspective (...) on personality development. Then, it will examine how the DET framework can be used to organize recent findings from three lines of research on adult personality. It will conclude with suggestions for future research as well as some personal recollections. (shrink)

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...) But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

Throughout the world, Eastern European critical theory is enjoying a moderate, yet exciting, resurgence. From its oppositional roots in praxis philosophy and critical sociology, this diffuse and dynamic tradition has expanded its field of concern to encompass, among other problems, the aporias of democracy, the Holocaust and legacies of totalitarianism, the vicissitudes of modern culture and the ethical imperatives of living after the grand narrative. In the process, Eastern European thought has come to figure as a vital alternative to the (...) dominant tendencies emanating from Frankfurt and Paris. This essay surveys and introduces a collection of papers delivered at The International Conference of Marxist Critical Theory in Eastern Europe held in Chengdu, P.R.C., in November 2018. It both highlights the thematic range of contemporary scholarship on Eastern European critical theory and signals potential directions in future research. (shrink)